Conformance checking of mixed-paradigm process models

Mixed-paradigm process models integrate strengths of procedural and declarative representations like Petri nets Declare. They are specifically interesting for mining because they allow capturing complex behaviour in a compact way. A key research challenge the proliferation mixed-paradigm is lack corresponding conformance checking techniques. In this paper, we address problem by devising first approach that works with intertwined state spaces models. More specifically, our uses an alignment-based replay to explore space compute trace fitness every state, constraints separately updated, such violations disable activities. Our technique provides efficient towards optimal alignment respecting all orthogonal Declare constraints. We have implemented ProM demonstrate its performance evaluation real-world event logs.